Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
531	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science
532	Weighted Automata for Proving Termination of String Rewriting Johannes Waldmann Hochschule fu ¨r Technik, Wirtschaft und Kultur (FH) Leipzig Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2006-03-30 05:05:27 Mathematics Computer science Regular language Rewriting String Ω-automaton Formal languages Theoretical computer science Automata theory
533	Cross-Domain Activity Recognition Vincent Wenchen Zheng, Derek Hao Hu, Qiang Yang Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong {vince Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-09-21 07:07:54 Artificial intelligence Machine learning Computational linguistics Information extraction Domain Support vector machine Supervised learning N-gram Function Mathematics Natural language processing Science
534	tifact Our work includes the specification of the language via a bidirectional type system, which works “up-to-congruence,” and an algorithm for elaborating expressions in this language to an explicitly typed core l Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-10-29 14:48:47 Mathematical logic Symbol Unification First-order logic Motive Valuation Abstract algebra Algebraic geometry Mathematics
535	Sheet Instruction 1iii The year that the first Nobel prize was A awarded Add to Reading List Source URL: www.teacherled.com Language: English - Date: 2011-01-09 17:47:57 Programming language theory Software engineering Mathematics Models of computation Mental arithmetic CLU Subtraction 1089
536	Exchange @ National University of Singapore National University of Singapore (NUS) • English is the medium of instruction except in foreign language classes Add to Reading List Source URL: nus.edu.sg Language: English - Date: 2015-03-24 00:25:38 Academia Higher education Geography of Singapore NUS High School of Mathematics and Science Faculty of Arts and Social Sciences of National University of Singapore National University of Singapore Association of Commonwealth Universities Queenstown Singapore
537	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
538	Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-06-30 10:10:16 Functional languages OCaml Camlp4 Caml Ocsigen Arbitrary-precision arithmetic Sage Maple Symbolic computation Software Computing Mathematical software
539	What’s the story? Making sense of conflicting literacy and numeracy results National Adult Language, Literacy and Numeracy Assessment Conference 2014 Melbourne Add to Reading List Source URL: acer.edu.au Language: English - Date: 2014-07-02 01:28:52 Cognition NAPLAN Numeracy Programme for International Student Assessment Literacy Knowledge Education Mathematics education
540	Operational domain theory and topology of a sequential programming language Mart´ın Escard´o Ho Weng Kin Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-10-17 12:09:06 Model theory Metalogic Structure Continuous function Orbifold Sigma-algebra Mathematics Mathematical analysis Abstract algebra

UPDATE